Initial and terminal objects - PDFSEARCH.IO - Document Search Engine

Initial and terminal objects
Results: 83

#	Item
51	Geometry of manifolds, lecture 7 M. Verbitsky Geometry of manifolds Lecture 7: Categories and locally trivial fibrations Add to Reading List Source URL: verbit.ru Language: English - Date: 2013-04-08 12:25:35 Algebraic topology Differential topology Homotopy theory Category theory Category Vector bundle Initial and terminal objects Sheaf Morphism Abstract algebra Topology Algebra
52	1 Linearity and nonlinearity in distributed computation Glynn Winskel Cambridge University Computer Laboratory Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2003-07-31 08:01:20 Algebraic topology Sheaf theory Sheaf Functor Monad Grothendieck topology Affine space Initial and terminal objects Category theory Abstract algebra Algebra
53	Relations in Concurrency Invited talk (corrected version) Glynn Winskel, University of Cambridge Computer Laboratory, England Abstract The theme of this paper is profunctors, and their centrality and ubiquity in understa Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2006-08-31 15:16:32 Sheaf theory Models of computation Functors Theoretical computer science Sheaf Initial and terminal objects Presheaf Direct image functor Denotational semantics Category theory Mathematics Abstract algebra
54	CTCS 2004 Preliminary Version Limit Preservation from Naturality Mario Caccamo 1 The Wellcome Trust Sanger Institute Cambridge, UK Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2004-08-20 07:06:00 Limit Adjoint functors Diagram Universal property Natural transformation Coproduct Product Cone Initial and terminal objects Category theory Abstract algebra Functors
55	CONDITIONS FOR INTEROPERABILITY Nick Rossiter School of Informatics, Northumbria University, NE1 8ST, UK Email: [removed] Michael Heather Northumbria University, NE1 8ST, UK Email: [removed] Add to Reading List Source URL: computing.unn.ac.uk Language: English - Date: 2005-02-01 06:02:02 Higher category theory Adjoint functors Diagram Natural transformation Limit Data model Initial and terminal objects Sheaf Topos Category theory Abstract algebra Functors
56	MATH CIRCLE - SET THEORY WEEK 3 SAM LICHTENSTEIN Today we reviewed the crisis we ran into last week, where a set R = {all x such that x is not in x} turned out to be contradictory. (Because R can be neither in R nor not Add to Reading List Source URL: www.themathcircle.org Language: English - Date: 2007-10-21 14:36:53 Zero Category of sets Set theory axioms of set theory Naive set theory Initial and terminal objects Mathematics Empty set Nothing
57	Natural models of homotopy type theory Steve Awodey 1 June 2014 Abstract The notion of a natural model of type theory is defined in terms of that Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-06-01 15:27:23 Mathematics Homotopy theory Differential topology Sheaf Functor Grothendieck topology Section Adjoint functors Initial and terminal objects Topology Abstract algebra Algebraic topology
58	KRULL-REMAK-SCHMIDT CATEGORIES AND PROJECTIVE COVERS HENNING KRAUSE 1. Additive categories and the radical 1.1. Products and coproducts. Let A be a category. A product of a family Add to Reading List Source URL: www.math.uni-bielefeld.de Language: English - Date: 2012-05-21 19:50:48 Homological algebra Additive categories Module theory Algebraic topology Initial and terminal objects Abelian category Projective cover Sheaf Epimorphism Abstract algebra Category theory Algebra
59	GT-VC[removed]An Algorithm for Approximating the Satisfiability Problem of High-level Conditions (Long Version) 1,2 Add to Reading List Source URL: formale-sprachen.informatik.uni-oldenburg.de Language: English - Date: 2007-08-08 08:19:07 Morphisms Category Sheaf Epimorphism Initial and terminal objects Graph rewriting Additive category Multicategory Abstract algebra Mathematics Category theory
60	Under consideration for publication in Math. Struct. in Comp. Science Correctness of high-level transformation systems relative to nested conditions A N N E G R E T H A B E L and K A R L - H E I N Z P E N N E M A N N† Add to Reading List Source URL: formale-sprachen.informatik.uni-oldenburg.de Language: English - Date: 2008-06-16 05:05:39 Morphism Category Pushout Graph rewriting Grothendieck topology Sheaf Universal property Monomorphism Initial and terminal objects Category theory Abstract algebra Mathematics

UPDATE